Nuprl Definition : linorder 12,41
compound
Linorder(T;x,y.R(x;y)) == Order(T;x,y.R(x;y)) & Connex(T;x,y.R(x;y)) 
latex

DefinitionsP & Q, Order(T;x,y.R(x;y)), Connex(T;x,y.R(x;y))
FDL editor aliaseslinorder

origin